First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Coalition Provisional Authority Order Number 2 — Coalition Provisional Authority Order Number 2: Dissolution of Entities signed by CPA civil administrator L. Paul Bremer on May 23, 2003, disbanded the Iraqi military, security, and intelligence infrastructure of President Saddam Hussein.[1] It… … Wikipedia
Order of the Phoenix (organisation) — Order of the Phoenix Harry Potter association Some Order of the Phoenix members in the Harry Potter and the Order of the Phoenix film adaptation, from left to right: Alastor Moody, Nymphadora Tonks, Sirius Black, Remus Lupin, and Albus Dumbledore … Wikipedia
Order No. 1 — Order Number 1 was issued March 1, 1917 (O.S.) and was the first official decree of The Petrograd Soviet of Workers and Soldiers Deputies. The order was issued following the February Revolution in response to actions taken the day before by the… … Wikipedia
Order of Canada — Insignia of a Member of the Order of Canada Awarded by the … Wikipedia
Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Order statistic — Probability distributions for the n = 5 order statistics of an exponential distribution with θ = 3 In statistics, the kth order statistic of a statistical sample is equal to its kth smallest value. Together with rank statistics, order statistics… … Wikipedia
Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 … Wikipedia
First Council of Constantinople — For the church council of Constantinople in 359, see First Council of Constantinople (360). 9th century Byzantine manuscript illumination of I Constantinople Homilies of Gregory Nazianzus, 879 882 … Wikipedia